
OBJS += frontends/aiger2/xaiger.o
